Infinite number of conditions for local mixed-state manipulations
نویسندگان
چکیده
منابع مشابه
Infinite number of conditions for local mixed state manipulations
It is shown that a finite number of conditions are not sufficient to determine the locality of transformations between two probability distributions of pure states as well as the locality of transformations between two d × d mixed states with d ≥ 4. As an example, an infinite, but minimal, set of necessary and sufficient conditions for the existence of a local procedure that converts one probab...
متن کاملNumber-Set Representations for Infinite-State Verification
In order to compute the reachability set of infinite-state models, one needs a technique for exploring infinite sequences of transitions in finite time, as well as a symbolic representation for the finite and infinite sets of configurations that are to be handled. The representation problem can be solved by automata-based methods, which consist in representing a set by a finite-state machine re...
متن کاملInfinite-state games with finitary conditions
We study two-player zero-sum games over infinite-state graphs with boundedness conditions. Our first contribution is about the strategy complexity, i.e the memory required for winning strategies: we prove that over general infinite-state graphs, memoryless strategies are sufficient for finitary Büchi games, and finite-memory suffices for finitary parity games. We then study pushdown boundedness...
متن کاملInfinite systems of first order PFDEs with mixed conditions
We consider mixed problems for infinite systems of first order partial functional differential equations. Infinite number of deviating functions is permitted, and the delay of an argument may depend also on spatial variable. A theorem on the existence of a solution and its continuous dependence upon initial boundary data is proved. The method of successive approximations is used in the existenc...
متن کاملApproximated parameterized verification of infinite-state processes with global conditions
Abstract We present a simple and e↵ective approximated backward reachability procedure for parameterized systems with existentially and universally quantified global conditions. The individual processes operate on unbounded local variables ranging over the natural numbers. In addition, processes may communicate via broadcast, rendezvous and shared variables. The procedure operates on an over-ap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review A
سال: 2005
ISSN: 1050-2947,1094-1622
DOI: 10.1103/physreva.72.022323